Lakehead University Library Logo
    • Login
    Search 
    •   Knowledge Commons Home
    • Electronic Theses and Dissertations
    • Search
    •   Knowledge Commons Home
    • Electronic Theses and Dissertations
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of Knowledge CommonsCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDisciplineAdvisorCommittee MemberThis CommunityBy Issue DateAuthorsTitlesSubjectsDisciplineAdvisorCommittee Member

    My Account

    Login

    Discover

    Author
    Wang, Yifei (Fred) (1)
    SubjectLogic programming (1)
    Prolog (Computer program language) (1)
    ... View MoreDate Issued1998 (1)Discipline
    Mathematical Sciences (1)

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-1 of 1

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Compiling Prolog to Logic-inference Virtual Machine 

    Wang, Yifei (Fred) (1998)
    The Logic-inference Virtual Machine (LVM) is a new Prolog execution model consisting of a set of high-level instructions and memory architecture for handling control and unification. Different from the well-known Warren's ...

    Lakehead University Library
    Contact Us | Send Feedback

     

     


    Lakehead University Library
    Contact Us | Send Feedback