Login / Signup
Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment.
Atanas Radensky
Published in:
ACM SIGPLAN Notices (1990)
Keyphrases
</>
programming paradigms
horn clauses
programming language
programming environment
constraint logic programming
logic programs
parallel programming
logic programming
search algorithm
inference rules
real time
inductive logic programming
first order logic
high level
object oriented
modal logic