On implementing Prolog in functional programming-Reference-Cited by-同舟云学术

On implementing Prolog in functional programming

Published:1984-12 Issue:4 Volume:2 Page:347-359
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Carlsson Mats

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037326.pdf

Reference20 articles.

1. Abelson, H. and Sussman, G. J.: “Structure and interpretation of computer programs,” Draft (Department of EE and CS, MIT) (July, 1983) Sections 4.3 and 4.4.

2. Boyer, R. S. and Moore, J. S.: “The sharing of structure in theorem proving programs,” Machine Intelligence, 7 (ed. Meltzer and Mitchie) (Edinburgh UP) (1972).

3. Carlsson, M.: “LM-Prolog—The Language and Its Implementation,” UPMAIL Technical Report (Computing Science Department, Uppsala University) (forthcoming 1984).

4. Carlsson, M. and Kahn, K. M.: “LM-Prolog User Manual,” UPMAIL Technical Report,No. 24 (Computing Science Department, Uppsala University) (1983).

5. van Emden, R. H.: “An Interpreting Algorithm for Logic Programs,” Proc. 1st International Logic Programming Conference (Marseille) (1982).

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11

2. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

3. 2P-Kt: A logic-based ecosystem for symbolic AI;SoftwareX;2021-12

4. State Will do;Lecture Notes in Computer Science;2020

5. A small embedding of logic programming with a simple complete search;ACM SIGPLAN Notices;2017-05-11