Automatic transformation of deterministic prolog programs to KL1

K Varsamos

    Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

    Translated title of the contributionAutomatic transformation of deterministic prolog programs to KL1
    Original languageEnglish
    Title of host publicationWorkshop on Parallel Logic Programming, International Symposium on Fifth Generation Computer Systems
    Publication statusPublished - 1994

    Handle.net

    Cite this