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

    AuthorFan, Wei (1)Wang, Yifei (Fred) (1)Subject
    Logic programming (2)
    Prolog (Computer program language) (2)Object-oriented programming (Computer science) (1)... View MoreDate Issued1993 (1)1998 (1)Discipline
    Mathematical Sciences (2)

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-2 of 2

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

    Object-oriented implementation of Prolog 

    Fan, Wei (1993)
    Logic programming is a discipline of describing problems in high-level abstraction by separating logic from control. Conventional Prolog interpretation or compilation models take a procedural view of Prolog programs. A ...
    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