A System for Normal Logic Programs with Functions
Wei Kun-peng · Journal of Guizhou University · 2009
An implementation,called fasp,was described for answer set programming with functions (FASP) thatembeds symbolic functions into normal logic programs.The basic notion is to regard functions and atoms of FASP as general variables,Clark's completion and loop formulas as constraints in constraint processing (CSP) instances respectively,and then to compute answer sets of FASP programs with state-of-the-art CSP solvers was computed.Usingfasp,benchmarks for ASP are applicable for CSP.