Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: LoIDE: a web-based IDE for Logic Programming - Preliminary Technical
  Report   Logic-based paradigms are nowadays widely used in many different fields, also
thank 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.

35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph