Last update: Sun Oct 15 02:39:02 MDT 2017
@Article{Maeder:1994:MPLa,
author = "Roman E. Maeder",
title = "The {Mathematica} Programmer: Logic Programming {I}:
The Interpreter",
journal = j-MATHEMATICA-J,
volume = "4",
number = "1",
pages = "53--63",
month = "Winter",
year = "1994",
CODEN = "????",
ISSN = "1047-5974 (print), 1097-1610 (electronic)",
ISSN-L = "1047-5974",
bibdate = "Sat Nov 6 13:33:52 MDT 2010",
bibsource = "http://www.math.utah.edu/pub/tex/bib/mathematica.bib;
http://www.math.utah.edu/pub/tex/bib/mathematicaj.bib;
http://www.mathematica-journal.com/issue/v4i1/",
URL = "http://www.mathematica-journal.com/issue/v4i1/columns/maeder/53-63_Roman41.mj.pdf;
http://www.mathematica-journal.com/issue/v4i1/columns/maeder/index.html",
abstract = "This is the first of two columns on logic programming.
It gives an introduction to the subject and develops a
query evaluator in Mathematica. This query evaluator is
an interpreter for a subset of the programming language
Prolog. A prerequisite for it is unification, which is
a generalization of the pattern matching that underlies
Mathematica's own evaluator.",
acknowledgement = ack-ble # " and " # ack-nhfb,
journal-URL = "http://www.mathematica-journal.com/",
}