The relation between logic and functional languages: A survey

Towards functional programming in Prolog

ACM SIGPLAN Notices

Semantics of EqL

IEEE Transactions on Software Engineering

Algebraic specification of Macintosh's Quickdraw using OBJ2

ICSE '88 Proceedings of the 10th international conference on Software engineering

EQL: The Language and its Implementation

IEEE Transactions on Software Engineering

Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment

ACM SIGPLAN Notices

A needed narrowing strategy

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses

Transformation and debugging of functional logic programs

A 25-year perspective on logic programming

A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming