Search results

de/entity/Q4721627 1987-01-01 Paper PARLOG: parallel programming in logic 1986-01-01 Paper Notes on the implementation of PARLOG 1985-01-01 Paper Consequence...

and Lie superalgebras 1987-01-01 Paper Small programming exercises 18 1987-01-01 Paper Small programming exercises 19 1987-01-01 Paper Maximum principle...

rules for GHC programs Bounded quantifications for iteration and concurrency in logic programming A parallel parsing system for natural language analysis An...

Cites Work PARLOG: parallel programming in logic Title not available (Why is that?) The Semantics of Predicate Logic as a Programming Language Properties...

solutions predicate in logic programming language Flat Parlog: A basis for comparison Semantic models for concurrent logic languages An abstract machine for...

tabled evaluation of logic programs Parallel backtracking with answer memoing for independent and-parallelism Learning probabilistic logic models from probabilistic...

Described by source PARLOG: parallel programming in logic Cited In (58) VeriFly PARLOG and its applications Contributions to the semantics of logic perpetual processes...

constraint solving PARLOG: parallel programming in logic Logic programming as a service aspeed: solver scheduling via answer set programming Extending and implementing...

(Sequential and parallel concepts for the architecture of logical programming languages) Notes on the implementation of PARLOG PARLOG: parallel programming in logic...

zbMATH DE number 4043306 Logic programming with functions and predicates: The language Babel FPL : Functional plus logic programming an integration of the...

tabling to logic programs SWI-Prolog PARLOG: parallel programming in logic Design, implementation, and evaluation of the constraint language cc(FD) From...

Coalgebraic logic programming: from Semantics to Implementation Parallel Logic Programming: A Sequel PARLOG: parallel programming in logic Scientific article;...

Cites Work PARLOG: parallel programming in logic Title not available (Why is that?) The Semantics of Predicate Logic as a Programming Language A Transformation...

theory of software (68N01) Combinatory logic and lambda calculus (03B40) Cites Work PARLOG: parallel programming in logic Title not available (Why is that?)...

Theory of programming languages (68N15) Artificial intelligence (68T99) Logic programming (68N17) Cited In (32) Attempting guards in parallel: A data flow...

Framework for Big Data Systems Mermaid A linear logic programming language for concurrent programming over graph structures Zabbix Gluon This page was...

for concurrent logic languages An abstract machine for the implementation of PARLOG on uniprocessors PARLOG: parallel programming in logic Title not available...

on the implementation of PARLOG PARLOG: parallel programming in logic Title not available (Why is that?) Paragon: a language using type hierarchies for...

Classification ID Logic programming (68N17) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Cites Work PARLOG: parallel programming...

(68Q55) Cites Work Edinburgh LCF. A mechanized logic of computation PARLOG: parallel programming in logic Title not available (Why is that?) Title not available...