Nondeterminism and unification in LogScheme: integrating logic and functional programming

Authors:
Erik Ruf;Daniel Weise
Affiliations:
Computer Systems Laboratory, CIS Building, Stanford University, Stanford, CA;Computer Systems Laboratory, CIS Building, Stanford University, Stanford, CA
Venue:
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Year:
1989

MULTILISP: a language for concurrent symbolic computation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic programming: functions, relations, and equations

Logic programming: functions, relations, and equations
Revised report on the algorithmic language scheme

ACM SIGPLAN Notices
Structure and interpretation of computer programs

Structure and interpretation of computer programs
Embedding continuations in procedural objects

ACM Transactions on Programming Languages and Systems (TOPLAS)
Logic continuations

Journal of Logic Programming
Efficiently combining logical constraints with functions

Efficiently combining logical constraints with functions
ICON Programmng Language

ICON Programmng Language

Hi-index	0.00