scientific article
From MaRDI portal
Publication:3742690
zbMath0605.68003MaRDI QIDQ3742690
Koichi Furukawa, Akikazu Takeuchi
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Set abstraction - an extension of all solutions predicate in logic programming language ⋮ Most specific logic programs ⋮ Mixed computation of Prolog programs ⋮ Partial evaluation of metaprograms in a ``multiple worlds logic language ⋮ Partial evaluation with inference rules ⋮ A self-applicable partial evaluator and its use in incremental compilation ⋮ Using Prolog for building FROG, a hybrid knowledge representation system ⋮ Role of logic programming in the FGCS project ⋮ CAL: A theoretical background of constraint logic programming and its applications ⋮ Mixed computation and compilation: New approaches to old problems ⋮ How to control unfolding when specializing interpreters ⋮ A general criterion for avoiding infinite unfolding during partial deduction ⋮ Specialisation calculus and communication ⋮ Compiling OR-parallelism into AND-parallelism ⋮ Mixtus: An automatic partial evaluator for full Prolog ⋮ Sound and complete partial deduction with unfolding based on well-founded measures ⋮ Essence of generalized partial computation
This page was built for publication:
