Giter Club home page Giter Club logo

dmos-prolog's People

Contributors

kwon-young avatar

Watchers

avatar avatar avatar

dmos-prolog's Issues

Exporting at and term_seg edcg grammar predicate

Exporting at and term_seg implemented with the edcg library into a separate module make the grammar predicate carre unable to call the at and term_seg predicate with the consistent grammar syntax.
Failure example:

swipl main_edcg.pl
Warning: /home/kwon-young/prog/DMOS-prolog/carre_edcg.pl:8:
        Redefined static procedure edcg:pred_info/3
        Previously defined at /home/kwon-young/prog/DMOS-prolog/epf_edcg.pl:9
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.1)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- eval_carre(X, Y, Z).
ERROR: Undefined procedure: carre:term_seg/2
ERROR:   However, there are definitions for:
ERROR:         carre:term_seg/6
ERROR:
ERROR: In:
ERROR:   [10] carre:term_seg(noCond,_614)
ERROR:    [9] carre:carre('<garbage_collected>','<garbage_collected>','<garbage_collected>','<garbage_collected>','<garbage_collected>') at /home/kwon-young/prog/DMOS-prolog/carre_edcg.pl:2
0
ERROR:    [7] <user>
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.
   Exception: (10) carre:term_seg(noCond, _176) ?

meta predicate at and term_seg failure when using imported goal

Meta predicate implemented with prolog dcg form in epf_dcg.pl fails when called with goal that was imported.
Failure example:

swipl main_dcg.pl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.0.1)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit http://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- eval_carre(X, Y, Z).
ERROR: Undefined procedure: epf:noCond/1
ERROR: In:
ERROR:   [11] epf:noCond(seg(coor(1,1),coor(10,1)))
ERROR:   [10] epf:term_seg(noCond,seg(coor(1,1),coor(10,1)),cursor(coor(0,0),zone(...,...)),_834,[seg(...,...),...|...],_838) at /home/kwon-young/prog/DMOS-prolog/epf_dcg.pl:20
ERROR:    [9] carre:carre('<garbage_collected>','<garbage_collected>',_926,'<garbage_collected>',_930) at /home/kwon-young/prog/DMOS-prolog/carre_dcg.pl:17
ERROR:    [7] <user>
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.
   Exception: (11) epf:noCond(seg(coor(1, 1), coor(10, 1))) ?

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.