Set abstraction - an extension of all solutions predicate in logic programming language

DOI10.1007/BF03037464zbMath0631.68011MaRDI QIDQ1094865

Takashi Yokomori

Publication date: 1987

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

PrologConcurrent Prologhigher order predicate logicpredicate variablepredicate variablessecond order predicate logicset expression

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• PARLOG

Cites Work

• PARLOG: parallel programming in logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Set abstraction - an extension of all solutions predicate in logic programming language