прочитать файл в списке [пролог]

Question

У меня есть записи в журнале, которые включают 4 разных условия.

log(name1,surname1,street1,Belgium). 
log(name2,surname2,street2,Germany). 
log(name3,surname3,street3,France). 
log(name4,surname4,street4,France). 

Я сохранил это в loginfo.pl. Я мог бы прочитать их из входного файла (loginfo.pl), однако я не смог собрать все в «списке». После этого мне нужно отфильтровать его, используя условие «страна начинается с буквы« F ».

Так что в конце концов я хочу, чтобы получить

[log(name3,surname3,street3,France),log(name4,surname4,street4,France)] 

Answer 1

Использование consult/1 для загрузки фактов, содержащихся в файле в прологе КБ.

Использование atom_chars/2 расщепить атом его символов.

Использование findall/3 для сбора нескольких секунд к цели.

Пример:

?- [loginfo]. 
?- findall(log(A,B,C,D), (log(A, B, C, D), sub_atom(D, 0, 1, _, 'F')), Result). 
Result = [log(name3, surname3, street3, 'France'), log(name4, surname4, street4, 'France')]. 

[loginfo] является сокращением для consult(loginfo).

Кроме того, если вам не нравится повторять себя:

?- findall(X, (X=log(_, _, _, D), X, sub_atom(D, 0, 1, _, 'F')), Result). 
Result = [log(name3, surname3, street3, 'France'), log(name4, surname4, street4, 'France')]. 

Примечание: в файле loginfo.pl вы должны положить одинарные кавычки атомов, начиная с заглавной буквы:

log(name1,surname1,street1,'Belgium'). 
log(name2,surname2,street2,'Germany'). 
log(name3,surname3,street3,'France'). 
log(name4,surname4,street4,'France'). 

Подробнее о прологовом атоме при Prolog Syntax - Learn Prolog Now!