• DocumentCode
    3332128
  • Title

    Adding forward chaining and truth maintenance to Prolog

  • Author

    Finin, Tim ; Fritzson, Rich ; Matuszek, Dave

  • Author_Institution
    Unisys Corp., Paoli, PA, USA
  • fYear
    1989
  • fDate
    6-10 Mar 1989
  • Firstpage
    123
  • Lastpage
    130
  • Abstract
    A description is given of Pfc, a simple package which supplies a forward chaining facility in Prolog. P fc is intended to be used in conjunction with ordinary Prolog programs, allowing the programmer to decide whether to encode a rule as a forward-chaining Pfc rule or a backward-chaining Prolog one. Like other programming languages, Pfc programs have a declarative interpretation as well as a clear and predictable procedural one. A truth maintenance system built into P fc system maintains consistency and makes derivations available for applications. Finally, Pfc is designed to be relatively efficient and unobtrusive
  • Keywords
    PROLOG; inference mechanisms; logic programming; PROLOG; Prolog; backward-chaining; declarative interpretation; forward chaining; inference rules; logic programming; truth maintenance; Artificial intelligence; Databases; Knowledge representation; Logic programming; Packaging; Production systems; Programming profession;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Artificial Intelligence Applications, 1989. Proceedings., Fifth Conference on
  • Conference_Location
    Miami, FL
  • Print_ISBN
    0-8186-1902-3
  • Type

    conf

  • DOI
    10.1109/CAIA.1989.49145
  • Filename
    49145
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3332128