Title: Logic languages based on functions
Subjects: Functional programming (Computer science), Logic programming, Programming languages (Electronic computers), Semantics