Integrating a logic programming platform into F# applications to leverage both of their strengths. This will illustrate domain modeling of the interoperability between F# and Prolog, show how to run the Prolog service for development, and then showcase some unique problem solving techniques that are possible when combining logic and functional paradigms.