Praxis is/ strives to become, an online IDE for visual programming in Prolog ... Server component will be added as an optional feature in the future (for example, allow users to log in and store their ...