Logic program forms

DOI10.1007/BF03037409zbMath0617.68005OpenAlexW2025610390MaRDI QIDQ1822224

Takashi Yokomori

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1007/bf03037409

zbMATH Keywords

recursively enumerable languageanalogical reasoningprogram abstractionlogic program formskeleton of a program

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence (68T99) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Context-free grammar forms
• The Semantics of Predicate Logic as a Programming Language
• A Transformation System for Developing Recursive Programs
• Horn clause computability

This page was built for publication: Logic program forms