Abstract
Logic-based paradigms are nowadays widely used in many different fields, also thanks to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work, we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Under MIT License. https://goo.gl/nrXtN4.
- 2.
More features for improving comprehension of the results will be added, such as different forms of visualization.
- 3.
- 4.
LoIDE APIs. https://goo.gl/6XJeDN.
- 5.
embASP. https://goo.gl/mE5kAo.
- 6.
Under MIT License. https://goo.gl/VfPknG.
References
Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York (2003)
Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Busoniu, P., Oetsch, J., Pührer, J., Skocovsky, P., Tompits, H.: Sealion: an eclipse-based IDE for answer-set programming with advanced debugging support. TPLP 13(4–5), 657–673 (2013)
Dasseville, I., Janssens, G.: A web-based IDE for IDP. CoRR abs/1511.00920 (2015)
Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)
Febbraro, O., Reale, K., Ricca, F.: ASPIDE: integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 317–330. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_37
Fuscà, D., Germano, S., Zangari, J., Anastasio, M., Calimeri, F., Perri, S.: A framework for easing the development of applications embedding answer set programming. In: PPDP 2016, pp. 38–49. ACM (2016)
Germano, S., Calimeri, F., Palermiti, E.: Loide: a web-based IDE for logic programming - preliminary technical report. CoRR abs/1709.05341 (2017)
Koziarkiewicz, M.: iGROM - an integrated development environment for answer set programs (2007). http://igrom.sourceforge.net. Accessed Aug 2017
Leone, N., Ricca, F.: Answer set programming: a tour from the basics to advanced development tools and industrial applications. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 308–326. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21768-0_10
Marcopoulos, E., Reotutar, C., Zhang, Y.: An online development environment for answer set programming. CoRR abs/1707.01865 (2017)
Muise, C.: Planning. Domains. In: ICAPS System Demonstration (2016)
Strobel, V., Kirsch, A.: Planning in the wild: modeling tools for PDDL. In: Lutz, C., Thielscher, M. (eds.) KI 2014. LNCS (LNAI), vol. 8736, pp. 273–284. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11206-0_27
Sureshkumar, A., Vos, M.D., Brain, M., Fitch, J.: APE: an AnsProlog* environment. In: SEA 2007, Proceedings, pp. 101–115 (2007)
Wielemaker, J., Lager, T., Riguzzi, F.: SWISH: SWI-Prolog for sharing. CoRR abs/1511.00915 (2015)
Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-Prolog. Theory Pract. Logic Program. 12(1–2), 67–96 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Germano, S., Calimeri, F., Palermiti, E. (2018). LoIDE: A Web-Based IDE for Logic Programming Preliminary Report. In: Calimeri, F., Hamlen, K., Leone, N. (eds) Practical Aspects of Declarative Languages. PADL 2018. Lecture Notes in Computer Science(), vol 10702. Springer, Cham. https://doi.org/10.1007/978-3-319-73305-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-73305-0_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73304-3
Online ISBN: 978-3-319-73305-0
eBook Packages: Computer ScienceComputer Science (R0)