Programming of Future Generation Computers: Proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986Kazuhiro Fuchi, M. Nivat |
Contents
A Memory for Implementing Logic Programming Languages | 25 |
A Formalization and its Applications | 57 |
Programming in ESP Experiences with SIMPOS | 75 |
Copyright | |
13 other sections not shown
Common terms and phrases
abstract algorithm application architecture Artificial Intelligence atom axioms backtracking called compiled computation constraints constructed constructors corresponding data flow database DCKR defined definition denote domain efficiency environment equations ESTEREL evaluation example expert system expression extended execution false free variables function goal formula graph graph reduction homme Horn clause ICOT implementation induction inference rules input instantiated knowledge lazy evaluation Lemma Lisp Logic Programming machine matching mechanism memory method Mini-ML module Multi-PSI Negation as Failure node OBJ2 object operational semantics operator parallel pattern predicate problem Proc procedure programming language Prolog proof Quty recursive reduction relation resolclause rewrite rules ruling formula S-formula semantics sequence signal simpclause simplification SIMPOS slot solve sort SPOCK strategy structure subformula symbol synchronous syntax techniques term rewriting system theorem theory true unifiable unification