A declarative constraint logic programming language based on partial instantiation technique for inference
No Thumbnail Available
Date
2000-11-22
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
BITS Pilani
Abstract
Description
Supervisor: Prof. Vijay Chandru
Keywords
Computer Science, Artificial Intelligence, Automated Reasoning, Logic and Function, Horn Formulas, Classification of Atom, Logic Formulas