Nabble - Prolog-pt

exercício

2009-04-25T15:08:53Z

Considere a seguinte base de dados de factos Prolog:

vizinho(portugal, espanha).
vizinho(frança, alemanha).

vizinho(espanha, frança).
vizinho(frança, suíça).

vizinho(frança, bélgica).
vizinho(frança, itália).

vizinho(frança, luxemburgo).
vizinho(e-u-a, méxico).

a) Implemente um predicado que determine se dois países estão ligados por terra, de acordo com os factos acima.

b) Implemente um predicado que determine a lista de países intermédios por onde um viajante terá de passar para ir de um país a outro. Por exemplo, para ir de Portugal à Bélgica, o viajante terá de passar por Espanha e França. A lista obtida deve ser [espanha,frança].

convert list of list of list to atom or string

2008-07-26T10:46:10Z

Sir, I use swi-prolog 5.6 to call class java . My problems are
1. I must convert list of lists of lists to atom or string ,but there are errors as ;
atom_codes(Pa,Parses), Parses = list of lists of lists

ERROR: (c:/thesis/gfulab/load.pl:4):
atom_chars/2: Type error: `text' expected, found `[[[wordtype=NOUN, head=nectec, sem=[pred=NECTEC, ntype=NPRP, ontology=enterprise]]]]'
Warning: (c:/thesis/gfulab/load.pl:4):
Goal (directive) failed: user:main

atom_codes(Pa,Parses), Parses = list of lists of lists

ERROR: (c:/thesis/gfulab/load.pl:4):
atom_codes/2: Type error: `text' expected, found `[[wordtype=NOUN, head= nectec, sem=[pred=NECTEC, ntype=NPRP, ontology=enterprise]]]'
Warning: (c:/thesis/gfulab/load.pl:4):
Goal (directive) failed: user:main
% c:/thesis/gfulab/load.pl compiled 1.02 sec, 826,976 bytes

string_to_list(Pa,P), P = list of lists of lists
string_to_atom(Pa,Parse),

ERROR: (c:/thesis/gfulab/load.pl:4):
string_to_list/2: Arguments are not sufficiently instantiated
Warning: (c:/thesis/gfulab/load.pl:4):
Goal (directive) failed: user:main
% c:/thesis/gfulab/load.pl compiled 1.00 sec, 1,008 bytes

prolog code as :
procr(show(cg=L)) :-
findall(M,recorded(matrix,M,_),Parses),!,
forall( member(P,Parses),
(write('==>'), pp_f_structure(synt,L,7,P) ) ),

findall(M,recorded(matrix,M,_),Parses),!,
forall( member(P,Parses),
(write('==>'),dmember(sem=S,P),!,pp_f_structure(sem,L,7,S) ) ),

string_to_list(Pa,Parses),
string_to_atom(Pa,Parse),
jpl_new('Cgraph',Parse,F),
jpl_call(F,startCg,[@(true)],@void).

java code as:

public static void main(String[] args)
{
String listStr;
Cgraph cg = new Cgraph(listStr);
cg.startCg();
} // end main

Rules of the derivation

2007-11-12T22:35:07Z

Hello guys!

Can you help to implement the rules of the derivation? I want to use the 4 fond operation (+,-,*,/) and the 2 trigonometrial function (sin,cos).
Can you help me with this problem in prolog language?