Reprezentace znalostí a Prolog

[Loggik]

Zdravím, když chci reprezentovat formálně například "John fell", můžu použít predikát "fall(John)" (teď ignoruju gramatický čas). Pro "John almost fell" bude "almost(fall)(John)", to je ale výraz vyššího řádu. Jak se dá něco takového zapsat v Prologu, aby se s tím dalo pracovat v dotazech nebo jiných pravidlech? Je případně něco lepšího než Prolog pro tyto účely?

[Reklama]

[VojtaF]

No je to uz par dekad co jsme prologoval ale jestli se nepletu tak funkce call() slouzi na higher order. Tedy u vas call(almost, fall, John) .

[Loggik]

almost(fall)(John)

To se snadno řeší reifikací, fall(John) je nějaké e₁ a almost(_,_) dělá z e₁ nějaké (co do pravdivostních podmínek jiné) e₂, takže celé to je almost(e₂,e₁) ⋀ fall(e₁,John), přičemž e₂ je (dokazatelná) pravda iff ten původní výraz je pravda.