Logic programming is investigated as a vehicle for structuring and implementing decision support systems, with particular attention paid to those dealing with financial modeling. This approach to ...

Verónica Dahl is an Argentine/Canadian mother, educator, literary writer, musician, composer and computer scientist who is recognized as one of the 15 founders of the field of logic programming. Her ...

This logic serves as a semantic foundation for various language paradigms, enabling efficient program transformation, formal verification, and symbolic computation.