Witam, mój problem wygląda następująco: mam odczytać z pliku wszystkie fakty, a następnie. Póki co mam coś takiego:
czytaj:- write('Podaj plik: '), read(Plik), see(Plik),czyt, seen, nl.
czyt :- read(L), nl,write(L).
Problem w tym, że czytany jest tylko pierwszy fakt, a cała reszta już nie. Jak odczytać wszystkie fakty?. Następnie mam pobrać z każdego faktu pierwszy argument. Rozumiem, że trzeba po kolei dodawać odczytane fakty do bazy wiedz za pomocą "assert", a następnie wyłuskać ten pierwszy argument z faktu za pomocą findall, czy jest może jakiś łatwiejszy sposób?