✦ LIBER ✦

A comparison of Lisp and Prolog

✍ Scribed by G.J. Postma; B.G.M. Vandeginste; C.J.G. van Halen; G. Kateman

Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 541 KB
Volume: 6
Category: Article
ISSN: 0165-9936
DOI: 10.1016/0165-9936(87)85011-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implementation of a teaching program for

Implementation of a teaching program for IR spectrometry in Lisp and Prolog

✍ G.J. Postma; B.G.M. Vandeginste; C.J.G. van Halen; G. Kateman 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Comparison of contrasting Prolog trace o

Comparison of contrasting Prolog trace output formats

✍ MUKESH J. PATEL; BENEDICT DU BOULAY; CHRIS TAYLOR 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 504 KB

This paper reports on a comparative study of three Prolog trace packages. Forty-three students of an introductory Prolog course solved five different Prolog programming problems in each of three different conditions (using isomorphic problem variants to disguise recurring tasks). Each of the three c

New midrange computer and version of Lis

New midrange computer and version of Lisp-Prime Common Lisp

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 111 KB

A CAD package for the design of printed circuit boards (PCBs) has been developed by CAD Software Inc. It is called Pads-PCB and runs on IBM PC ATs or XTs. Pads-PCB can use multiple size grids. Boards of area 32 × 32 in and with up to 30 layers can be designed. Surface mounted devices are supported

A constructive view of PROLOG

✍ Damjan Bojadziev 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 442 KB

A constructive rationalization of PROLOG is presented, covering the logical form of definite clause programs and the role of negative (goal) clauses. This view is developed from the idea, taken from set theory, that a constructive theory can be obtained if classical reasoning is confined to a constr

A logical reconstruction of Prolog II

✍ M.H. van Emden; J.W. Lloyd 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 447 KB

A pragmatic reconstruction of λProlog

✍ Catherine Belleannée; Pascal Brisset; Olivier Ridoux 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 294 KB

kProlog is a logic programming language in which hereditary Harrop formulas generalize Horn formulas, and simply typed k-terms generalize Prolog terms. One may wonder if these extensions are simultaneously required, and if useful subsets of kProlog can be de®ned, at least for pedagogical purposes. W