Accession Number : ADA219785


Title :   Conceptual Modeling via Logic Programming


Descriptive Note : Final technical rept. Sep 1987-Mar 1989,


Corporate Author : LOGICON INC SAN PEDRO CA


Personal Author(s) : Burge, John ; Noah, Bill ; Smith, Les


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a219785.pdf


Report Date : Jan 1990


Pagination or Media Count : 166


Abstract : The Conceptual Modeling via Logic Programming Task was to determine whether it is feasible to use conceptual models as a design aid for command and control systems, and whether these conceptual models can practically be implemented using logic programming. The major efforts included a review of conceptual modeling and logic programming, development of concepts for using conceptual modeling to aid command and control designers, development of a demonstration system, and evaluation. A Quintus Prolog-based demonstration system was built. The feasibility of using conceptual modeling implemented in logic programming was established. (KR)


Descriptors :   *COMPUTER PROGRAMMING , *COMMAND AND CONTROL SYSTEMS , DEMONSTRATIONS , MODELS , COMPUTER LOGIC


Subject Categories : Computer Programming and Software
      Command, Control and Communications Systems


Distribution Statement : APPROVED FOR PUBLIC RELEASE