• DocumentCode
    2969777
  • Title

    A scheme for deducing logic programs from bottom to top

  • Author

    Chen, Huo-yan

  • Author_Institution
    Dept. of Comput. Sci., Jinan Univ., Guangzhou, China
  • fYear
    1989
  • fDate
    14-17 Nov 1989
  • Firstpage
    875
  • Abstract
    In a previous publication (1988), the author proposed an algorithm for the parallel evaluation of logic programs from bottom to top in compile time. In this paper the author improves the algorithm, solving some problems not previously discussed. This leads to a reduction of the required storage space and makes the algorithm more practical
  • Keywords
    logic programming; parallel algorithms; program compilers; compilation; logic program deduction; parallel evaluation; storage space reduction; Computer science; Cybernetics; Logic programming;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on
  • Conference_Location
    Cambridge, MA
  • Type

    conf

  • DOI
    10.1109/ICSMC.1989.71420
  • Filename
    71420
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2969777