domains
list1=integer*
list2=symbol*
predicates
translate(list1,list2)
means(integer,symbol)
clauses
translate([],[]).
translate([],_):-
write("\nError in Input").
translate(_,[]):-
write("\nError in Input").
translate([Head1|Tail1],[Head2|Tail2]):-
write(Head2," = "),
means(Head1,Name),
write(Name,"\n"),
translate(Tail1,Tail2).
means(0,zero).
means(1,one).
means(2,two).
means(3,three).
means(4,four).
means(5,five).
means(6,six).
means(7,seven).
means(8,eight).
means(9,nine).
OUT PUT
=======
Goal: translate([1,2,3],[a,b,c])
a = one
b = two
c = three
Yes
-------------------------------------
Goal: translate([1,2,3,4,5,6,7,8,9],[a,b,c,d,e,f,g,h,i])
a = one
b = two
c = three
d = four
e = five
f = six
g = seven
h = eight
i = nine
Yes