logic programming - yap prolog read predicate -

-

i experimenting prolog, reading "programming in prolog using iso standard, fith edition". have installed yap (yet prolog) on ubuntu 10.10 maverick rc system, installed using synaptic. running prolog within emacs23 using prolog-mode.

the following code (from chapter 5 of book) not give results in book:

/*   file   history_base.pl   */                                                     use_module(library(lists)) /* use member/2    */                    event(1505,['euclid',translated,into,'latin']).                         event(1510,['reuchlin-pfefferkorn',controversy]).                       event(1523,['christian','ii',flies,from,'denmark']).                          mywhen(x,y):-event(y,z),member(x,z).  % restoring file /usr/lib/yap/startup yap version yap-5.1.3  < reading above file yap>    ?- mywhen("denmark",d). no  not book gives!  adding file above line (from book):  hello1(event):- read(date), event(date,event).

gives error when reading file yap

(using "consult buffer" in prolog menu in emacs):    ?-  % reconsulting /tmp/prolcomp14814qrf.pl...          syntax error @ /tmp/prolcomp14814qrf.pl, near line 3:     use_module( library( lists ) )                                                     <    ==== here ====>                                event( 1505 , [ euclid , translated ,  , latin ] ).  % reconsulted /tmp/prolcomp14814qrf.pl in module user, 0 msec 752 bytes yes    ?-

¿any comments?

perhaps should terminate use_module(library(lists)) statement . , declare directive, i.e.:

:- use_module(library(lists)).


Comments

Post a Comment

Popular posts from this blog

ASP.NET/SQL find the element ID and update database -

-
basically i've got update query runs when click submit button. i have asp:repeater in page layer inside this <asp:repeater id="dgbookings" runat="server" onitemdatabound="itemdb"> <itemtemplate> <div class="bookingscontent"> <div class="bookingdetails" id="<%# databinder.eval(container.dataitem, "booking_ref") %>"> <p class="infotext"><%# databinder.eval(container.dataitem, "adults") %> <asp:linkbutton onclick="editdetails" text="edit..." runat="server"></asp:linkbutton></p> <p class="infotext"><asp:linkbutton onclick="submitdetails" text="submit..." runat="server"></asp:linkbutton></p> </div> </div> </itemtemplate> <asp:repeater> and outputs ...
Read more

jquery - appear modal windows bottom -

-
i have modal windows in application, work fine <div id="modal" class="modal hide fade" tabindex="-1" role="dialog" aria-labelledby="mymodallabel" aria-hidden="true"> but when modal appears, appear top of windows, , want appear bottom the application joomla 3.0! , using template of meet gavern any idea? i found solution i modified de css in bootstrap .modal.fade { top:-25%; -webkit-transition:opacity .3s linear, bottom .3s ease-out; -moz-transition:opacity .3s linear, bottom .3s ease-out; -ms-transition:opacity .3s linear, bottom .3s ease-out; -o-transition:opacity .3s linear, bottom .3s ease-out; transition:opacity .3s linear, bottom .3s ease-out; }
Read more

c++ - Compiling static TagLib 1.6.3 libraries for Windows -

-
i having super hard time compiling , using taglib 1.6.3 in qt project. i've tried can think of. taglib claims supported through cmake i'm not having luck. furthermore, i'm confused kinds of files need qt libs! i've built *.a files, *.lib, , *.dll. understand far... believe since i'm working in windows *.lib want. no matter do, end "undefined references" taglib functions try use when try compile qt project. have tried mingw32, msys, visual studio 2008, , cross-compiling windows on linux. turning nothing. what makes less sense me if compile same taglib source qt on mac (g++ think?) works fine! somewhere in windows compilation procedures have going wrong. have been smacking face on desk 30 (on , off) hours trying figure out. since qt uses mingw must compile taglib same compiler? if compile *.lib's visual studio not compatible? are *.a libraries usable in windows? (assuming mingw) i'm still trying handle on c++ stuff, after reading coun...
Read more