can't make this prolog program work, prolog rules, 'or' operator, prolog arithmetics -


i'm new prolog , i'm stuck exercise.

i have prolog database called "languages.pl" , i'm working on file called "program.pl", have rules.

a language have name , year of creation, example:

cobol, 1960 pascal, 1971 c, 1971

and languages have predecessors, like:

scheme, lisp ------ lisp predecessor os scheme.

so, want find language lp precedes language l with, @ least, decade of years between creations, like:

?- ling_precedes_decade(lp, l). lp = ’c++’, l = ’rust’ .

i tought of like:

ling_precedes_decade(lp, l) :-     language(lp, x),     language(l, y),     ((x-y) > 9); ((x-y) < -9).

but doesn't work.

there couple of things mention respect question posting.

you listed example facts as:

cobol, 1960 pascal, 1971 c, 1971

since didn't show these actual prolog facts, can speculate how asserted them. correct way, in order cobol atom, use quotes, since in prolog initial capital letter otherwise make cobol variable.

language('cobol', 1960). language('pascal', 1971). language('c', 1971).

then in predicate, not being mindful of precedence rules , versus ;. ; lower precedence ,. predicate behavior if grouped follows:

lang_precedes_decade(lp, l) :-     ( language(lp, x),       language(l, y),       ((x-y) > 9) )     ; ((x-y) < -9).

you need group "or" appropriately:

lang_precedes_decade(lp, l) :-     language(lp, x),     language(l, y),     ( ((x-y) > 9); ((x-y) < -9) ).

then if query, you'll this:

| ?- lang_precedes_decade(lp, l).  l = 'pascal' lp = 'cobol' ? ;  l = 'c' lp = 'cobol' ? ;  l = 'cobol' lp = 'pascal' ? ;  l = 'cobol' lp = 'c' ? ;  no

notice redundant results due symmetry of checking against facts. since language(lp, x), language(l, y) capture symmetry (you'll solutions lp , l swapped), don't need check < -9:

lang_precedes_decade(lp, l) :-     language(lp, yearlp),     language(l, yearl),     (yearl-yearlp) > 9.    % lp precedes l

this result in:

| ?- lang_precedes_decade(lp, l).  l = 'pascal' lp = 'cobol' ?  l = 'c' lp = 'cobol'  no | ?-

Comments

Post a Comment

Popular posts from this blog

python - Operations inside variables -

this question has answer here: evaluating mathematical expression in string 12 answers i want make python script finds maximum possible output using 2 operations. problem says there syntax error @ 2nd last line, in b in there. how can fix it? x = 0 = int(input("1st number:")) c = int(input("2nd number:" )) e = int(input("3rd number:" )) in range(4): if == 0: b = "+" elif == 1: b = "-" elif == 2: b = "/" else: b = "*" j in range(4): if j == 0: d = "+" elif j == 1: d = "-" elif j == 2: d = "/" else: d = "*" k = b c d e print(k) if you're after variables e on single line, couldn...
Read more

Generic Map Parameter java -

i having lot of methods of type: public static list<eduusers> getdetails(class c, map<string, integer> params) { list<eduusers> details = null; session session = hibernateutil.getsessionfactory().opensession(); transaction tx = null; try { tx = session.begintransaction(); criteria cr = session.createcriteria(c); (map.entry<string, integer> entry : params.entryset()) { cr.add(restrictions.eq(entry.getkey(), entry.getvalue())); } details = cr.list(); tx.commit(); } catch (exception asd) { log.debug(asd.getmessage()); if (tx != null) { tx.commit(); } } { session.close(); } return details; } i trying have generic method them , have written far: public static <t> list<t> getdetails(class<t> c, class<t> b) { l...
Read more

arrays - What causes a java.lang.ArrayIndexOutOfBoundsException and how do I prevent it? -

what arrayindexoutofboundsexception mean , how rid of it? here code sample triggers exception: string[] name = {"tom", "dick", "harry"}; for(int = 0; i<=name.length; i++) { system.out.print(name[i] +'\n'); } your first port of call should documentation explains reasonably clearly: thrown indicate array has been accessed illegal index. index either negative or greater or equal size of array. so example: int[] array = new int[5]; int boom = array[10]; // throws exception as how avoid it... um, don't that. careful array indexes. one problem people run thinking arrays 1-indexed, e.g. int[] array = new int[5]; // ... populate array here ... (int index = 1; index <= array.length; index++) { system.out.println(array[index]); } that miss out first element (index 0) , throw exception when index 5. valid indexes here 0-4 inclusive. correct, idiomatic for statement here be: for (int index = 0; index <...
Read more